home *** CD-ROM | disk | FTP | other *** search
- package com.extensibility.print;
-
- import com.extensibility.util.StringUtilities;
- import java.awt.Font;
- import javax.swing.JComponent;
- import javax.swing.JLabel;
- import javax.swing.event.ChangeEvent;
-
- class Printer$1$PageLabel extends JLabel implements PageChangeListener {
- // $FF: synthetic field
- final Printer this$0;
- String orgText;
-
- public void pageChanged(int var1) {
- System.out.println(String.valueOf(String.valueOf(this.orgText).concat(String.valueOf(" => "))).concat(String.valueOf(StringUtilities.replace(this.orgText, "<page>", (new Integer(var1)).toString()))));
- super.setText(StringUtilities.replace(this.orgText, "<page>", (new Integer(var1)).toString()));
- }
-
- public void setText(String var1) {
- this.orgText = var1;
- super.setText(var1);
- }
-
- public Printer$1$PageLabel(Printer var1, String var2, int var3) {
- this(var1, var3);
- this.this$0 = var1;
- this.setText(var2);
- }
-
- public Printer$1$PageLabel(Printer var1, int var2) {
- this.this$0 = var1;
- ((JComponent)this).setFont(new Font("SanSerif", 0, var2));
- }
-
- public void stateChanged(ChangeEvent var1) {
- }
- }
-